Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·6h
✨Effect Handlers
curl | sudo bash isn't a security issue (on Linux)
yawn.io·1h·
Discuss: Hacker News
🛡️CLI Security
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·6h
📊Static Analysis
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
PHP 8.5 Adds Pipe Operator: What it means
thephp.foundation·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
I created uroman-rs, a 22x faster rewrite of uroman, a universal romanizer.
reddit.com·7h·
Discuss: r/rust
🦀Rust Macros
Poltergeist: The Ghost That Keeps Your Builds Fresh
steipete.me·20h
🎯Gradual Typing
MCP Prompts: Building Workflow Automation
blog.modelcontextprotocol.io·19h·
Discuss: Hacker News
🐚Shell Automation
Challenges of Pseudocode Expansion
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🔗Lisp
The hiring test that defeated AI
bitecode.dev·19h·
Discuss: Hacker News
✅Shell Verification
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·1d
✅Archive Validation
Bouncing on trampolines to run eBPF programs
bootlin.com·1d
🔍eBPF
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
I Built My Own Shell for Fun. You Can Too
dev.to·4d·
Discuss: DEV
📝Shell Parsing
ssheven: A minimal new SSH client for Mac OS 7/8/9
github.com·16h
🐚Nordic Shell
A New Concurrent ML in Guile Scheme
wingolog.org·1d·
Discuss: Hacker News
🔄Lens Laws
Why Computer Science Is No Good, Redux
cacm.acm.org·17h
🎯Performance Proofs
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🎯Proof Tactics
Python performance myths and fairy tales
lwn.net·2h·
Discuss: Lobsters, Hacker News
💻Programming languages
Week 31 Status
blogs.gnome.org·1d
🎯Gradual Typing